Berghofer, Stefan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Effects of processing parameters on colour stability of strawberry nectar from puree

Manfred Gössinger, Stefan Moritz, Monika Hermes, Silvia Wendelin, Hannes Scherbichler, Heidrun Halbwirth, Karl Stich, Emmerich Berghofer

Journal:

Journal of Food Engineering

Year:

2009

Language:

english

File:

PDF, 404 KB

english, 2009

2

Influence of atypical features on the quality of prophylactic effectiveness of long-term lithium treatment in bipolar disorders

Andrea Pfennig, Peter Schlattmann, Martin Alda, Paul Grof, Tasha Glenn, Bruno Müller-Oerlinghausen, Aleksandra Suwalska, Janusz Rybakowski, Stefan N Willich, Michael Bauer, Anne Berghöfer

Journal:

Bipolar Disorders

Year:

2010

Language:

english

File:

PDF, 263 KB

english, 2010

3

Subjective response to and tolerability of long-term supraphysiological doses of levothyroxine in refractory mood disorders

Michael Bauer, Stefan Priebe, Anne Berghöfer, Tom Bschor, Ursula Kiesslinger, Peter C. Whybrow

Journal:

Journal of Affective Disorders

Year:

2001

Language:

english

File:

PDF, 71 KB

english, 2001

4

L7 protein is a coregulator of vitamin D receptor-retinoid X receptor-mediated transactivation

Yvonne Berghöfer-Hochheimer, Christian Zurek, Stefan Wölfl, Peter Hemmerich, Thomas Munder

Journal:

Journal of Cellular Biochemistry

Year:

1998

Language:

english

File:

PDF, 190 KB

english, 1998

5

Referral practices in patients suffering from non-malignant chronic pain

Erika Schulte, Katja Hermann, Anne Berghöfer, Hartmut Hagmeister, Sigrid Schuh-Hofer, Michael Schenk, Andreas Kopf, Martyn Vilain, Peter Martus, Stefan N. Willich, Willehad Boemke

Journal:

European Journal of Pain

Year:

2010

Language:

english

File:

PDF, 267 KB

english, 2010

6

A Head-to-Head Comparison of de Bruijn Indices and Names

Stefan Berghofer, Christian Urban

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 301 KB

english, 2007

7

Extracting a formally verified, fully executable compiler from a proof assistant

Stefan Berghofer, Martin Strecker

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 176 KB

english, 2004

8

Sind Biomarker ihr Geld wert?

Thomas Reinhold, Anne Berghöfer, Stefan N. Willich

Journal:

Year:

2010

File:

PDF, 365 KB

2010

9

Health-economic burden of obesity in Europe

Falk Müller-Riemenschneider, Thomas Reinhold, Anne Berghöfer, Stefan N. Willich

Journal:

European Journal of Epidemiology

Year:

2008

Language:

english

File:

PDF, 274 KB

english, 2008

10

Program Extraction from Normalization Proofs

Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg

Journal:

Year:

2006

Language:

english

File:

PDF, 306 KB

english, 2006

11

[IEEE 2012 10th IAPR International Workshop on Document Analysis Systems (DAS) - Gold Coast, Queenslands, TBD, Australia (2012.03.27-2012.03.29)] 2012 10th IAPR International Workshop on Document Analysis Systems - Towards Understandable Explanations for Document Analysis Systems

Forcher, Bjorn, Agne, Stefan, Dengel, Andreas, Gillmann, Michael, Roth-Berghofer, Thomas

Year:

2012

Language:

english

File:

PDF, 302 KB

english, 2012

12

Obesity prevalence from a European perspective: a systematic review

Anne Berghöfer, Tobias Pischon, Thomas Reinhold, Caroline M Apovian, Arya M Sharma, Stefan N Willich

Journal:

BMC Public Health

Year:

2008

Language:

english

File:

PDF, 453 KB

english, 2008

13

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 5674 || VCC: A Practical System for Verifying Concurrent C

Berghofer, Stefan, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius

Year:

2009

Language:

english

File:

PDF, 298 KB

english, 2009

14

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 5674 || Packaging Mathematical Structures

Berghofer, Stefan, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius

Year:

2009

Language:

english

File:

PDF, 267 KB

english, 2009

15

Etablierung eines Qualitätsmanagementsystems für Forschung und Lehre in einem epidemiologischen Universitätsinstitut

Berghöfer, Anne, de Bucourt, Maximilian, Willich, Stefan N.

Journal:

Zeitschrift für Medizinische Physik

Year:

2008

File:

PDF, 731 KB

2008

16

A Solution to the PoplMarkChallenge Using de Bruijn Indices in Isabelle/HOL

Stefan Berghofer

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 876 KB

english, 2012

17

Use of complementary medicine in patients with chronic pain

Andreas Ossendorf, Erika Schulte, Katja Hermann, Hartmut Hagmeister, Michael Schenk, Andreas Kopf, Sigrid Schuh-Hofer, Stefan N. Willich, Anne Berghöfer

Journal:

European Journal of Integrative Medicine

Year:

2009

Language:

english

File:

PDF, 242 KB

english, 2009

18

Efficacy of a systematic depression management program in high utilizers of primary care: a randomized trial

Anne Berghöfer, Astrid Hartwich, Michael Bauer, Jürgen Unützer, Stefan N Willich, Andrea Pfennig

Journal:

BMC Health Services Research

Year:

2012

Language:

english

File:

PDF, 303 KB

english, 2012

19

Screening for Depression and High Utilization of Health Care Resources Among Patients in Primary Care

Berghöfer, Anne, Roll, Stephanie, Bauer, Michael, Willich, Stefan N., Pfennig, Andrea

Journal:

Community Mental Health Journal

Year:

2014

Language:

english

File:

PDF, 258 KB

english, 2014

20

Intuitive justifications of medical semantic search results

Forcher, Björn, Roth-Berghofer, Thomas, Agne, Stefan, Dengel, Andreas

Journal:

Engineering Applications of Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 2.28 MB

english, 2014

21

[IEEE 2011 International Conference on Document Analysis and Recognition (ICDAR) - Beijing, China (2011.09.18-2011.09.21)] 2011 International Conference on Document Analysis and Recognition - Semantic Logging: Towards Explanation-Aware DAS

Forcher, Bjorn, Agne, Stefan, Dengel, Andreas, Gillmann, Michael, Roth-Berghofer, Thomas

Year:

2011

Language:

english

File:

PDF, 367 KB

english, 2011

22

[Lecture Notes in Computer Science] Modeling and Retrieval of Context Volume 3946 || Using Activity Theory to Model Context Awareness

Roth-Berghofer, Thomas R., Schulz, Stefan, Leake, David B.

Year:

2006

Language:

english

File:

PDF, 354 KB

english, 2006

23

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - Mechanizing the Metatheory of LF

Urban, Christian, Cheney, James, Berghofer, Stefan

Year:

2008

Language:

english

File:

PDF, 291 KB

english, 2008

24

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 5674 ||

Berghofer, Stefan, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius

Year:

2009

Language:

english

File:

PDF, 8.52 MB

english, 2009

25

[Lecture Notes in Computer Science] Modeling and Retrieval of Context Volume 3946 || A Context Model for Personal Knowledge Management Applications

Roth-Berghofer, Thomas R., Schulz, Stefan, Leake, David B.

Year:

2006

Language:

english

File:

PDF, 405 KB

english, 2006

26

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 5674 || A Brief Overview of Mizar

Berghofer, Stefan, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius

Year:

2009

Language:

english

File:

PDF, 117 KB

english, 2009

27

[Lecture Notes in Computer Science] Modeling and Retrieval of Context Volume 3946 || A Layered Model for User Context Management with Controlled Aging and Imperfection Handling

Roth-Berghofer, Thomas R., Schulz, Stefan, Leake, David B.

Year:

2006

Language:

english

File:

PDF, 305 KB

english, 2006

28

[Lecture Notes in Computer Science] Modeling and Retrieval of Context Volume 3946 ||

Roth-Berghofer, Thomas R., Schulz, Stefan, Leake, David B.

Year:

2006

Language:

english

File:

PDF, 2.47 MB

english, 2006

29

Mechanizing the metatheory of LF

Urban, Christian, Cheney, James, Berghofer, Stefan

Journal:

ACM Transactions on Computational Logic

Year:

2011

Language:

english

File:

PDF, 681 KB

english, 2011

30

Health-Economic Burden of Obesity in Europe

Falk Müller-Riemenschneider, Thomas Reinhold, Anne Berghöfer and Stefan N. Willich

Journal:

European Journal of Epidemiology

Year:

2008

Language:

english

File:

PDF, 1.36 MB

english, 2008

31

George Wolff (1886–1952): Spreading the Legacy of Alfred Grotjahn to the United States

Willich, Stefan N., Berghöfer, Anne

Journal:

American Journal of Public Health

Year:

2013

Language:

english

File:

PDF, 463 KB

english, 2013

32

Cut-Elimination in Classical and Nonclassical Logic || Program Extraction from Normalization Proofs

Ulrich Berger, Stefan Berghofer, Pierre Letouzey and Helmut Schwichtenberg

Journal:

Year:

2006

Language:

english

File:

PDF, 2.39 MB

english, 2006

33

Musculoskeletal disorders and complaints in professional musicians: a systematic review of prevalence, risk factors, and clinical treatment effects

Rotter, Gabriele, Noeres, Katharina, Fernholz, Isabel, Willich, Stefan N., Schmidt, Alexander, Berghöfer, Anne

Journal:

International Archives of Occupational and Environmental Health

Year:

2019

Language:

english

File:

PDF, 1.01 MB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски